PreviousNextTracker indexSee it online !

(243/308) 1748 - updater plugin and proxy

it seems updater plugin is not using proxy set in general preferences.

i'm able to fetch plugins updates \[-> prooves jedit using proxy\] but no luck with
jedit daily update.

i'm using:
jEdit 5.1pre1
updater 0.3

br/piotr

Submitted dzebrys - 2013-11-08 11:27:29 Assigned
Priority 5 Labels
Status open Group
Resolution None

Comments

2013-11-08 12:56:53
dzebrys

i've verified proxy connection in jedit using InfoViewer plugin.
when submitted link below in it the file is opened without problem.

http://www.tellurianring.com/projects/jedit-daily/jEdit/2013-11-04_15-35-47/jedit5.2pre1install.jar
2013-11-15 00:38:24
ezust

- **assigned_to**: nobody --> shlomy
2014-07-03 20:08:51.773000
*anonymous

- **assigned_to**: Shlomy Reinstein --> nobody
- **Group**: -->